Varieties of BL-algebras

نویسندگان

  • Antonio di Nola
  • Francesc Esteva
  • Lluis Godo
  • Franco Montagna
چکیده

In this paper we overview recent results about the lattice of subvarieties of the variety BL of BL-algebras and the equational definition of some families of them.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

FREE ALGEBRAS IN VARIETIES OF BL-ALGEBRAS GENERATED BY A BLn-CHAIN

Free algebras with an arbitrary number of free generators in varieties of BL-algebras generated by one BL-chain that is an ordinal sum of a finite MV-chain Ln and a generalized BL-chain B are described in terms of weak Boolean products of BL-algebras that are ordinal sums of subalgebras of Ln and free algebras in the variety of basic hoops generated by B. The Boolean products are taken over the...

متن کامل

Applications of Finite Duality to Locally Finite Varieties of BL-Algebras

We are concerned with the subvariety of commutative, bounded, and integral residuated lattices, satisfying divisibility and prelinearity, namely, BL-algebras. We give an explicit combinatorial description of the category that is dual to finite BL-algebras. Building on this, we obtain detailed structural information on the locally finite subvarieties of BL-algebras that are analogous to Grigolia...

متن کامل

Varieties Generated by Standard BL-Algebras

If V is a subvariety of BL generated by a class of standard BLalgebras, then V is generated by a finite class of standard BL-algebras.

متن کامل

On the Structure of Generalized Bl-algebras

A generalized BL-algebra (or GBL-algebra for short) is a residuated lattice that satisfies the identities x ∧ y = ((x ∧ y)/y)y = y(y\(x∧ y)). It is shown that all finite GBL-algebras are commutative, hence they can be constructed by iterating ordinal sums and direct products of Wajsberg hoops. We also observe that the idempotents in a GBL-algebra form a subalgebra of elements that commute with ...

متن کامل

RS-BL-algebras are MV-algebras

We prove that RS-BL-algebras are MV-algebras.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Soft Comput.

دوره 9  شماره 

صفحات  -

تاریخ انتشار 2005